With as in definition 2.3.1. set For each let in denote the equivalence class containing . Define addition on by for two projections in
It follows from Proposition 2.3.2. that this operation is well-defined and that is an abelian semigroup.
In the next chapter we will construct for each unital C*-algebra , an abelian group from the semigroup .